perm filename CIRCUM.LEC[F82,JMC] blob sn#685152 filedate 1982-11-02 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum.lec[f82,jmc]	Notes for lecture on circumscription
C00003 ENDMK
CāŠ—;
circum.lec[f82,jmc]	Notes for lecture on circumscription

Minimization in partial ordering.

Logical minimization of a formula.

Parallel and lexicographic orderings.

Examples:
bird, peasant and peas,

Bossu and Siegel and the formula

Circumscriptive theories and their completions.